Kind(${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$k$:Knd$\mid$ $k$ $\in$ dom(${\it da}$) \}